Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
191	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
192	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
193	Load Frequency Control of Power Systems Using FLC and ANN Controllers Mandru Harish Babu PG Scholar, Department of Electrical and Electronics Engineering, GITAM Institute of Technology, Rushikonda, Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-02-13 04:41:14 Control engineering Systems science Systems theory Cybernetics Control theory Artificial intelligence Fuzzy logic Logic in computer science Fuzzy control system Control system Steam turbine PID controller
194	Evolutionary Fuzzy Rule Acquisition for Playing Ms.PacMan Hisashi Handa, Member, IEEE, Maiko Isozaki Abstract— This short description is written for the Ms.PacMan competition in CEC2007, held in Singapore. First, instr Add to Reading List Source URL: cswww.essex.ac.uk Language: English - Date: 2007-09-14 12:47:49 Software Gaming Fuzzy logic Classes of computers Artificial intelligence Logic in computer science Non-classical logic Membership function Pac-Man Fuzzy rule Ghosts
195	Decoupling the Ethernet from Architecture in Linked Lists Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Theoretical computer science Algorithm Mathematical logic Actor model
196	Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract  Algorithms and the efficiency of algorithms are basic concepts to every computer science Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:52:35 Theoretical computer science Computational complexity theory Algorithm Mathematical logic Analysis of algorithms Computer science Computing XPL Efficiency
197	EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT Minutes of the EUSFLAT General Assembly 2013 Milano, September 12, 2013 The assembly starts at 16:00, twenty minutes later than as scheduled in order to allow Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2013-11-19 05:55:02 Fuzzy logic European Society for Fuzzy Logic and Technology Artificial intelligence Logic in computer science Rudolf Kruse
198	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
199	On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Automated theorem proving Logic in computer science Propositional calculus Unsatisfiable core Boolean algebra Resolution Exponential time hypothesis Algorithm Maximum satisfiability problem Boolean satisfiability problem DavisPutnam algorithm
200	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation

UPDATE